/**
 * @file
 * Main for running tests with Google C++ Unit Testing Framework
 */

#include <iostream>

#include <gtest/gtest.h>

#include "gdb_debug_support.h"

int main(int argc, char **argv) {

  std::cout << "Running main() from gtest_main.cc...\n"; 

  testing::InitGoogleTest(&argc, argv);
  return RUN_ALL_TESTS();
}
